Abstract machines for programming language implementation
نویسندگان
چکیده
منابع مشابه
Abstract machines for programming language implementation
machines for programming language implementation Stephan Diehl a,∗, Pieter Hartel b, Peter Sestoft c a FB-14 Informatik, Universität des Saarlandes, Postfach 15 11 50, 66041 Saarbrücken, Germany b Department of Electronics and Computer Science, University of Southampton, Highfield, Southampton SO17 1BJ, UK c Department of Mathematics and Physics, Royal Veterinary and Agricultural University, Th...
متن کاملA Cons Apart Abstract Graph Machines Programming Hilbert Machines
Graph Machines Programming Hilbert Machines Author: Joshua Herman Collaborator: Keith Pedersen May 13, 2009 ar X iv :0 81 2. 40 09 v4 [ cs .C C ] 2 7 D ec 2 00 8
متن کاملRefinement and implementation techniques for Abstract State Machines
Contents Introduction 1 1 Submachine Concept 3 1.
متن کاملGPSL: A Programming Language for Service Implementation
At present, there is a dichotomy of approaches to supporting web service implementation: extending mainstream programming languages with libraries and metadata notations vs. designing new languages. While the former approach has proven suitable for interconnecting services on a simple point-to-point fashion, it turns to be unsuitable for coding concurrent, multi-party, and interrelated interact...
متن کاملAbstract Interpretation as a Programming Language
In David Schmidts PhD work he explored the use of denotational semantics as a programming language. It was part of an effort to not only treat formal semantics as specifications but also as interpreters and input to compiler generators. The semantics itself can be seen as a program and one may examine different programming styles and ways to represent states. Abstract interpretation is primaril...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Future Generation Computer Systems
سال: 2000
ISSN: 0167-739X
DOI: 10.1016/s0167-739x(99)00088-6